IRIS - Integrated Rule Inference System
نویسندگان
چکیده
Ontologies, fundamental to the realization of the Semantic Web, provide a formal and precise conceptualization of a specific domain that can be used to describe resources on the Web. Reasoning over such resource descriptions is essential in order to facilitate automated processing using formal descriptions that are machine interpretable. In this context, Datalog (with extensions) can be used for rule-based reasoning with ontologies described with WSML, (a subset of) OWL-DL, RDF, RDFS and extensional RDFS. Furthermore, since Java is the chosen implementation platform for the majority of software prototypes from research, it becomes clear, that a good quality, open-source, Java-based Datalog reasoner is a prerequisite for much research in the field of semantics. The purpose of this paper is to present a reasoner that fills this gap. IRIS is an open-source Datalog engine, extended with XML Schema data types, built-in predicates, function symbols and Well-founded default negation. We outline the reasoner architecture, basic evaluation algorithms and various optimizations. Additionally we provide a comparison of the performance of IRIS with similar systems.
منابع مشابه
Extension of a Datalog Reasoner with Top-Down Evaluation
The Integrated Rule Inference System IRIS is a Datalog reasoner capable of different bottom-up evaluation strategies. This thesis focus is on extending the reasoner with three new evaluation strategies which take a very different approach compared to the bottom-up evaluation strategies. The introduced strategies are SLD, SLDNF and OLDT, which are all top-down strategies. It will be elucidated h...
متن کاملComparison of autoregressive integrated moving average (ARIMA) model and adaptive neuro-fuzzy inference system (ANFIS) model
Proper models for prediction of time series data can be an advantage in making important decisions. In this study, we tried with the comparison between one of the most useful classic models of economic evaluation, auto-regressive integrated moving average model and one of the most useful artificial intelligence models, adaptive neuro-fuzzy inference system (ANFIS), investigate modeling procedur...
متن کاملFast and Robust Probabilistic Inference of Iris Mask
Iris masks are essential in iris recognition. The purpose of having a good iris mask is to indicate which part of iris texture map is useful and which part is occluded or contains noisy artifacts such as eyelashes, eyelids and specular re ections. The accuracy of the iris mask is extremely important. The performance of the iris recognition system will decrease dramatically when iris mask is ina...
متن کاملRobust Potato Color Image Segmentation using Adaptive Fuzzy Inference System
Potato image segmentation is an important part of image-based potato defect detection. This paper presents a robust potato color image segmentation through a combination of a fuzzy rule based system, an image thresholding based on Genetic Algorithm (GA) optimization and morphological operators. The proposed potato color image segmentation is robust against variation of background, distance and ...
متن کاملEdge Detection Based On Nearest Neighbor Linear Cellular Automata Rules and Fuzzy Rule Based System
Edge Detection is an important task for sharpening the boundary of images to detect the region of interest. This paper applies a linear cellular automata rules and a Mamdani Fuzzy inference model for edge detection in both monochromatic and the RGB images. In the uniform cellular automata a transition matrix has been developed for edge detection. The Results have been compared to the ...
متن کامل